Sekinerrian; "タブローとシークエント計算"